[options]
{% if cover_mode %}
mode cover
{% else %}
mode prove
{% endif %}
depth {{ depth }}

[engines]
smtbmc {{ engines }}

[script]
read -formal -sv {{ design_name }}
prep -top {{ top_module }}

[files]
{{ design_path }}
{{ props_path }}